package BinomialHeap;


import instrumentation.TrackerCoverage;

public class MainBinHeap {
	public static TrackerCoverage track=  TrackerCoverage.getTracker();
  public static void main(String[] args) {
	 BinomialHeap BinomialHeap_0 = new BinomialHeap();
	 BinomialHeap_0.insert(2147483647); BinomialHeap_0.delete(-4); BinomialHeap_0.delete(-4); BinomialHeap_0.insert(8); 
	 BinomialHeap_0.insert(-2007829519); BinomialHeap_0.insert(-1); 
	 BinomialHeap_0.extractMin();
	 BinomialHeap_0.insert(8); BinomialHeap_0.delete(7); BinomialHeap_0.insert(1085317187);
	 BinomialHeap_0.delete(3); BinomialHeap_0.insert(-1); 
	 
	 BinomialHeap_0.extractMin();
	 BinomialHeap_0.insert(2147483647); BinomialHeap_0.delete(9); BinomialHeap_0.delete(-2147483648); BinomialHeap_0.insert(-1);
	 BinomialHeap_0 = new BinomialHeap();
	 BinomialHeap_0.insert(1); BinomialHeap_0.delete(0); BinomialHeap_0.delete(-10); BinomialHeap_0.delete(511203713); BinomialHeap_0.delete(4);
	 BinomialHeap_0.delete(9); BinomialHeap_0.insert(1); BinomialHeap_0.insert(5); BinomialHeap_0.insert(10); BinomialHeap_0.insert(5);
	 BinomialHeap_0.insert(10); BinomialHeap_0.insert(1); BinomialHeap_0.delete(2); BinomialHeap_0.delete(8);
	 BinomialHeap_0.extractMin();

	 BinomialHeap_0.insert(4); BinomialHeap_0.insert(2147483647); BinomialHeap_0.insert(-1); BinomialHeap_0.insert(3); BinomialHeap_0.insert(2147483647); 
	 BinomialHeap_0.delete(-2); BinomialHeap_0.delete(10); BinomialHeap_0.insert(-2147483648);
	 BinomialHeap_0.extractMin(); 
	 
//	 BinomialHeap_0.delete(-1316726524);
//	 BinomialHeap_0.delete(-2); BinomialHeap_0.extractMin(); BinomialHeap_0.insert(9); BinomialHeap_0.extractMin(); BinomialHeap_0.extractMin(); 
//	  BinomialHeap_0 = new BinomialHeap(); BinomialHeap_0.delete(7); BinomialHeap_0 = new BinomialHeap(); BinomialHeap_0.extractMin();
	 //fit: 54.009617  BrDis= 3.166667
	   System.out.println(track.calculateFitness(null));
	  System.out.println(track.toString());
		System.out.println(track.displayCondition());
	  
  }
}